Millstream Systems – a Formal Model for Linking Language Modules by Interfaces
نویسندگان
چکیده
We introduce Millstream systems, a formal model consisting of modules and an interface, where the modules formalise different aspects of language, and the interface links these aspects with each other.
منابع مشابه
Algorithmic Properties of Millstream Systems
Millstream systems have recently been proposed as a formalization of the linguistic idea that natural language should be described as a combination of different modules related by interfaces. In this paper we investigate algorithmic properties of Millstream systems having regular tree grammars as modules and MSO logic as interface logic. We focus on the so-called completion problem: Given trees...
متن کاملMillstream Systems
We introduce Millstream systems, a mathematical framework in the tradition of the Theory of Computation that uses logic to formalize the interfaces between different aspects of language, the latter being described by any number of independent modules. Unlike other approaches that serve a similar goal, Millstream systems neither presuppose nor establish a particular linguistic theory or focus, b...
متن کاملA Prototype Implementation of Incremental Millstream Systems
This thesis is concerned with a mathematical framework for describing sentences of natural language, called Millstream system. The main goal was to develop a prototype that simulates Millstream systems in an incremental fashion using graph transformations, based on an article [5] mainly written by people in the research group Natural and Formal Language at Umeå University. The rst step was to i...
متن کاملModules with Interfaces for Dynamic Linking and Communication
Module systems are well known as a means for giving clear interfaces for the static linking of code. This paper shows how adding explicit interfaces to modules for 1) dynamic linking and 2) cross-computation communication can increase the declarative, encapsulated nature of modules, and build a stronger foundation for language-based security and version control. We term these new modules Assemb...
متن کاملIncremental Construction of Millstream Configurations Using Graph Transformation
Millstream systems are a non-hierarchical model of natural language. We describe an incremental method for building Millstream configurations while reading a sentence. This method is based on a lexicon associating words and graph transformation rules.
متن کامل